-- Expected Output: BufferOverflow

DEF MAIN:nat == add(9223372036854775806,1)
